منابع مشابه
Encoding Argument Graphs in Logic
Argument graphs are a common way to model argumentative reasoning. For reasoning or computational purposes, such graphs may have to be encoded in a given logic. This paper aims at providing a systematic approach for this encoding. This approach relies upon a general, principle-based characterization of argumentation semantics.
متن کاملArgument-based explanation of logic programs
The paper argues that a satisfactory explanation of a logic program must take the form of an argument, rather than a proof. This can only be done on the basis of information regarding the role of the various literals in the bodies of the clauses, which is normally not captured by such programs. A schema for arguments, derived from Toulmin, is presented, and the components of this schema are rel...
متن کاملOn the Logic of the Ontological Argument∗
Saint Anselm of Canterbury offered several arguments for the existence of God. We examine the famous ontological argument in Proslogium ii. Many recent authors have interpreted this argument as a modal one.1 But we believe that Jonathan Barnes has argued persuasively that Anselm’s argument is not modal.2 Even if one were to construe the word ‘can’ in the definite description ‘that than which no...
متن کاملRedundant Argument Filtering of Logic Programs
This paper is concerned with the problem of removing, from a given logic program, redundant arguments. These are arguments which can be removed without affecting correctness. Most program specialisation techniques, even through they perform argument filtering and redundant clause removal, fail to remove a substantial number of redundant arguments, yielding in some cases rather inefficient resid...
متن کاملARGUMENT DIAGRAMMING IN LOGIC, LAW AND ARTIFICAL INTELLIGENCE Authors
In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informal Logic
سال: 1996
ISSN: 0824-2577,0824-2577
DOI: 10.22329/il.v18i2.2376